ProofendProof
@style
@qedqedfalse
@thmthm
;SPMgt;1993 =<#298#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/QED.sty<#298#><#299#>You have an obsolete version of QED.sty - please get a new one<#299#>
@style @style @style check@pt@fm@thm =<#300#>The macros thm and endtheorem need to be re-defined.<#300#><#301#>QED.sty must be loaded AFTER theorem.sty but before using \newtheorem <#301#> check@pt@fm@thm =<#302#>The macros thm and endtheorem need to be re-defined.<#302#><#303#>QED.sty must be loaded AFTER theorem.sty but before using \newtheorem <#303#> check@pt@fm@thm
&xcirc#bigcirc; =<#304#>Anonymous ftp e-math.ams.com /ams/amsfonts<#304#><#305#>\bigcirc =<#306#>Anonymous ftp e-math.ams.com /ams/amsfonts<#306#><#307#>\csname square is an AMS symbol<#307#>square&xcirc#bigcirc; is an AMS symbol<#305#>square&xcirc#bigcirc;
ds@theorems-as-commands<#308#><#308#>#1<#309#>
@begintheorem =<#317#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#317#><#318#>You have an obsolete version of Paul.sty - please get a new one<#318#> #1<#313#><#313#>@gr@m <#314#>=<#319#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#319#><#320#>You have an obsolete version of diagrams.tex - please get a new one<#320#>@gr@m<#314#> check@pt@sty@v @ifqed@qedqedtrue<#315#>##1<#315#><#309#>endtheorem<#310#>qed<#321#><#324#><#324#>#1<#325#>
@begintheorem =<#333#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/Paul.sty<#333#><#334#>You have an obsolete version of Paul.sty - please get a new one<#334#> #1<#329#><#329#>@gr@m <#330#>=<#335#>Anonymous FTP theory.doc.ic.ac.uk /tex/contrib/Taylor/tex/diagrams.tex<#335#><#336#>You have an obsolete version of diagrams.tex - please get a new one<#336#>@gr@m<#330#> check@pt@sty@v @ifqed@qedqedtrue<#331#>##1<#331#><#325#>endtheorem<#326#>qed<#337#>
@thm
addtoreset<#60#>Result<#60#><#61#>section<#61#>